; TEST-ARGS: -disallow-ub-exploitation
; SKIP-IDENTITY
; ERROR: Source returns undef

define i8 @src() null_pointer_is_valid {
  ret i8 undef
}

define i8 @tgt() null_pointer_is_valid {
  ret i8 0
}
